automated program verifier

自动化程式验证器

热门查询

systematically　　adv. 有系统地；有组织地
ploughed　　vt. 犁；耕 vi. 用犁耕田；开路 n. 犁；耕地（等于plow） n. (Plough)人名；(英)普劳
psychoanalytical　　adj. 精神分析的
headcount　　n. 点人头数；总人数
Navarre　　n. 纳瓦拉(中世纪时期的位于西班牙东北部和法国西南部的王国)
timely　　adj. 及时的；适时的 adv. 及时地；早
intermarry　　vi. 通婚；近亲结婚
bias　　n. 偏见；偏爱；斜纹；乖离率 adj. 偏斜的 vt. 使存偏见 adv. 偏斜地 n. (Bias)人名；(法、德、葡、喀)比亚斯；(英)拜厄斯
reconcilable　　adj. 不矛盾的；可和解的；可调和的
MSF　　[计] 大容量存储装置; 海量存储装置
favourably　　adv. 顺利地；有利地；好意地（等于favorably）
streptococci　　n. 链球菌（streptococcus的复数）
perpetuation　　n. 不朽，永存
ay　　n. 赞成票；赞成者 n. (Ay)人名；(法、土、老)艾；(匈)奥伊 adv. 永远，永久地 int. 唉！呜呼！（表示惊愕、悔恨、痛苦）
bain　　n. 贝恩（公司名称）
hiding place　　n. 隐藏处；藏身地 [网络] 避难所；躲藏处；藏身之处
interorganizational　　跨组织的
conducting　　n. 指挥；执行；传导 v. 指挥；行为；传导（conduct的ing形式）；指导 adj. [物] 传导的
apropos　　adj. 恰好的；适当的 adv. 恰好地；适当地；恰当地 prep. 关于
Wareham　　[人名] [英格兰人姓氏] 韦勒姆住所名称，来源于古英语，含义是“堰+宅地”(weir+homestead); [地名] [美国] 瓦尔汉; [地名] [英国] 韦勒姆